| emsoft | participants

Borzoo Bonakdarpour

Program Committees:
2018, 2019, 2020, 2024, and 2025 (cochair)
.

EMSOFT 2024: 24th International Conference on Embedded Software

Efficient Discovery of Actual Causality using Abstraction-Refinement

Arshia Rafieioskouei and Borzoo Bonakdarpour

EMSOFT 2019: 19th International Conference on Embedded Software

Statistical Verification of Hyperproperties for Cyber-Physical Systems

Yu Wang, Mojtaba Zarei, Borzoo Bonakdarpour, and Miroslav Pajic

EMSOFT 2017: 17th International Conference on Embedded Software

Managing the Performance/Error Tradeoff of Floating-point Intensive Applications

Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, and Sebastian Fischmeister

EMSOFT 2015: 15th International Conference on Embedded Software

A Framework for Mining Hybrid Automata From Input/Output Traces

Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, and Sebastian Fischmeister

EMSOFT 2011: 11th International Conference on Embedded Software

Automated Addition of Fault Recovery to Cyber-Physical Component-Based Models

Borzoo Bonakdarpour, Yiyan Lin, and Sandeep S. Kulkarni

Automated Distributed Implementation of Component-Based Models with Priorities

Borzoo Bonakdarpour, Marius Bozga, and Jean Quilbeuf

EMSOFT 2010: 10th International Conference on Embedded Software

From High-Level Component-Based Models to Distributed Implementations

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, and Joseph Sifakis

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Compositional Verification of Fault-Tolerant Real-Time Programs

Borzoo Bonakdarpour and Sandeep S. Kulkarni

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

Disassembling Real-Time Fault-Tolerant Programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Anish Arora